Search Results for 'overviewcasestudyinspecifyingandtestingiedebuggingapieceofsmartcardossoftwarethatprovidestransactionsusingtheformalspecicationlanguagejmlusingtheruntimeassertioncheckingtoolforjmlerikpoll'
overviewcasestudyinspecifyingandtestingiedebuggingapieceofsmartcardossoftwarethatprovidestransactionsusingtheformalspecicationlanguagejmlusingtheruntimeassertioncheckingtoolforjmlerikpoll published presentations and documents on DocSlides.
